MAINTAINERS: mini-os patches should be copied to minios-devel
authorIan Campbell <ian.campbell@citrix.com>
Fri, 20 Nov 2015 14:22:11 +0000 (14:22 +0000)
committerIan Campbell <ian.campbell@citrix.com>
Tue, 24 Nov 2015 16:12:28 +0000 (16:12 +0000)
commitbb4b673ace1313d3af94c0c7350b4c27788144af
treeae16304f773875e32e9c08ce18b0cb5448de1ac8
parent969eb34abdc5aefbe89adc12be7dcac696dac685
MAINTAINERS: mini-os patches should be copied to minios-devel

Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Cc: samuel.thibault@ens-lyon.org
Cc: stefano.stabellini@eu.citrix.com
Cc: minios-devel@lists.xenproject.org
Acked-by: Samuel Thibault <samuel.thibault@ens-lyon.org>
MAINTAINERS